Feeds to Scour
SubscribedAll
Scoured 19447 posts in 701.9 ms
Private Data Space Model
privatedata.space·2d
✅Format Verification
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🦀Rust Verification
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
link.springer.com·22h·
Discuss: Hacker News
🔮Proof Search
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·1d
🤝Consensus Protocols
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·2h
🦀Rust Macros
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com·17h·
Discuss: Hacker News
🧪Binary Fuzzing
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Synthesizing scientific literature with retrieval-augmented language models
nature.com·1d
🔍Information Retrieval
Declarative, Reproducible Emacs
irreal.org·2h
🧩Shell Metaprogramming
Enigma: Decentralized Computation Platform with Guaranteed Privacy
dev.to·12h·
Discuss: DEV
🤐Secure Multiparty
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·2h·
Discuss: Hacker News
⚡Incremental Computation
Differential Logic • 1
inquiryintoinquiry.com·2d
📏Linear Logic
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·16h
✅CDDL Validation
philipl/pifs: πfs - the data-free filesystem!
github.com·2h·
Discuss: Hacker News
🌐IPFS
Abstract Framework for All-Path Reachability Analysis
arxiv.org·2d
⏰Temporal Logic
Build a Compiler in Five Projects
kmicinski.com·8h
🔨Compilers
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·22h
📋Document Grammar
Style tips for less experienced developers coding with AI
honnibal.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
Explainer: XPC
eclecticlight.co·10h
🔐CBOR

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help